Buniakowski's inequality

柯西-许瓦尔兹不等式